@PHDTHESIS{Jan10,
  author =       {Mikol\'{a}\v{s} Janota},
  title =        {SAT Solving in Interactive Configuration},
  school =       {University College Dublin},
  year =         {2010},
  month =        {November}
}



@article{LMZ09,
  title={From one solution of a 3-satisfiability formula to a solution cluster: frozen variables and entropy, 2009},
  author={Kang Li and Hui Ma and Haijun Zhou},
  journal={Physical Review E},
  volume={79},
  pages={031102},
  year ={2009}
}


@article{Par03,
  title={On local equilibrium equations for clustering states},
  author={Parisi, Giorgio},
  journal={Computer Science},
  year={2003},
}


@article{JLM15,
  author    = {Mikol{\'{a}}s Janota and
               In{\^{e}}s Lynce and
               Joao Marques{-}Silva},
  title     = {Algorithms for computing backbones of propositional formulae},
  journal   = {{AI} Commun.},
  volume    = {28},
  number    = {2},
  pages     = {161--177},
  year      = {2015}
}

@article{BD99,
  title={Length of prime implicants and number of solutions of random CNF formulae},
  author={Boufkhad, Y. and Dubois, O.},
  journal={Theoretical Computer Science},
  volume={215},
  number={1–2},
  pages={1-30},
  year={1999},
}

@inproceedings{Z11,
  title={SAT-based techniques for determining backbones for post-silicon fault localisation},
  author={Zhu, Charlie Shucheng and Weissenbacher, Georg and Sethi, Divjyot and Malik, Sharad},
  booktitle={IEEE International High Level Design Validation and Test Workshop},
  pages={84-91},
  year={2011},
}

@book{MINISAT,
  title={An Extensible SAT-solver},
  author={Eén, Niklas and Sörensson, Niklas},
  publisher={Springer Berlin Heidelberg},
  pages={502-518},
  year={2004},
}

@article{BCJ2001,
  title={The scaling window of the 2-SAT transition},
  author={Bollob{\'a}s, B{\'e}la and Borgs, Christian and Chayes, Jennifer T and Kim, Jeong Han and Wilson, David B},
  journal={Random Structures \& Algorithms},
  volume={18},
  number={3},
  pages={201--256},
  year={2001},
  publisher={Wiley Online Library}
}

@inproceedings{KPJ2005,
  title={Backbones and backdoors in satisfiability},
  author={Kilby, Philip and Slaney, John and Thi{\'e}baux, Sylvie and Walsh, Toby and others},
  booktitle={AAAI},
  volume={5},
  pages={1368--1373},
  year={2005}
}

@inproceedings{WTS2001,
  title={Backbones in optimization and approximation},
  author={Walsh, Toby and Slaney, John},
  booktitle={Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01)},
  year={2001}
}

@inproceedings{ZWR2003,
  title={Backbone guided local search for maximum satisfiability},
  author={Zhang, Weixiong and Rangan, Ananda and Looks, Moshe},
  booktitle={IJCAI},
  pages={1179--1186},
  year={2003},
  organization={Citeseer}
}

@inproceedings{ZWL2005,
  title={A novel local search algorithm for the traveling salesman problem that exploits backbones},
  author={Zhang, Weixiong and Looks, Moshe},
  booktitle={IJCAI},
  pages={343--350},
  year={2005}
}

@inproceedings{MK2002,
  title={Applying SAT methods in unbounded symbolic model checking},
  author={McMillan, Ken L},
  booktitle={International Conference on Computer Aided Verification},
  pages={250--264},
  year={2002},
  organization={Springer}
}

@inproceedings{RSF2004,
  title={Minimal assignments for bounded model checking},
  author={Ravi, Kavita and Somenzi, Fabio},
  booktitle={International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
  pages={31--45},
  year={2004},
  organization={Springer}
}

@inproceedings{MPA2015,
  title={Literal-based MCS extraction},
  author={Menc{\i}a, Carlos and Previti, Alessandro and Marques-Silva, Joao},
  booktitle={IJCAI},
  volume={15},
  pages={1973--1979},
  year={2015}
}

@article{CJG2001,
  title={Frozen development in graph coloring},
  author={Culberson, Joseph and Gent, Ian},
  journal={Theoretical computer science},
  volume={265},
  number={1},
  pages={227--264},
  year={2001},
  publisher={Elsevier}
}

@inproceedings{DOG2001,
  title={A backbone-search heuristic for efficient solving of hard 3-SAT formulae},
  author={Dubois, Olivier and Dequen, Gilles},
  booktitle={IJCAI},
  volume={1},
  pages={248--253},
  year={2001}
}

@inproceedings{KPS2005,
  title={The backbone of the travelling salesperson},
  author={Kilby, Philip and Slaney, John and Walsh, Toby and others},
  booktitle={IJCAI},
  pages={175--180},
  year={2005}
}

@inproceedings{MM2005,
  title={A two-phase backbone-based search heuristic for partial MAX-SAT--an initial investigation},
  author={Mena{\"\i}, Mohamed El Bachir},
  booktitle={International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems},
  pages={681--684},
  year={2005},
  organization={Springer}
}